(set-logic QF_FPLRA)
(set-info :status sat)
(declare-const x Float16)
(declare-const y Float16)
(assert (= (fp.add RNA x y) ((_ to_fp 5 11) RNA 0.0117749388721091)))
(check-sat)
